The Anatomy of Innocence
نویسندگان
چکیده
We reveal a symmetric structure in the ho/n games model of innocent strategies, introducing rigid strategies, a concept dual to bracketed strategies. We prove a direct definability theorem of general innocent strategies with respect to a simply typed language of extended Böhm trees, which gives an operational meaning to rigidity in call-byname. A corresponding factorization of innocent strategies into rigid ones with some form of conditional as an oracle is constructed.
منابع مشابه
Ethical-Legal Requirements of the Police Regarding the Principle of Innocence in Drug Crimes in the Light of Criminal Psychology
Background: Nowadays, drug crimes have been recognized as one of the criminal acts whose effects generally affect the community, so in order to have a fair trial, the principle of innocence was considered in the process of investigating drug crimes. Given the rule of ethics over the law and their two-way relationship, it is necessary to have special requirements governing the institution of cri...
متن کاملThe Anatomy of Innocence Revisited
We refine previous analyses of Hyland-Ong game semantics and its relation to λand λμ-calculi and present improved factorization results for bracketing and rigidity that can be combined in any order.
متن کاملThe Presumption of Innocence and the Human Rights Act
There has recently been a proliferation of case law dealing with potential inroads into the presumption of innocence in the criminal lawof England andWales, in the light of article 6(2) of the European Convention on Human Rights. This article is concerned with the nature of the presumption of innocence. It considers two central issues.The ¢rst is how the courts should address the question of wh...
متن کاملFactual Development in Innocence Cases
A. The Limitations of the Innocence Projects ....... ...... 1145 B. Case Delays in Innocence Cases.....................1148 1. Darryl Burton: Exonerated from Missouri After Twenty-Four Years...................... 1149 2. Larry Souter: Exonerated from Michigan After Thirteen Years ........................ 1152 3. Paul Gregory House: Exonerated After Twenty-Two Years from Tennessee .................
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001